- формальный синтез
- Makarov: formal synthesis
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
анализ и синтез — АНАЛИЗ И СИНТЕЗ. Анализ (от греч. analysis разложение, расчленение) реальное или мысленное разложение объекта на компоненты; синтез (от греч. sythesis соединение, сочетание) реальное или мысленное объединение этих компонентов в целостный… … Энциклопедия эпистемологии и философии науки
СИМВОЛ — (греч. бросание, метание совместно несколькими лицами чего либо; знак, опознавательная примета) знак, в понятие которого входят, не поглощая его, художественный образ, или аллегория, или сравнение. С. в первоначальном значении в античности… … Современный философский словарь
символизм — СИМВОЛИЗМ направление, сложившееся в западноевропейской культуре 60 х начале 70 х гг. 19 в., впервые в литературе, а затем в др. видах искусства, и включающее в себя философию, религию, мифологию, тем самым претендуя на культурную… … Энциклопедия эпистемологии и философии науки
КАССИРЕР (CASSIRER) Эрнст — (1874 1945) нем. философ, один из ведущих представителей марбургской школы неокантианства. Учился в Берлине, Лейпциге, Гейдельберге. С 1896 ассистент Когена в Марбурге. Преподаватель философии в Берлинском (1908 19) и Гамбургском (1919 33) ун тах … Современная западная философия. Энциклопедический словарь
АЛГОРИТМИЧЕСКИЙ ЯЗЫК — формальный язык программирования, формальный язык, предназначенный для описания вычислительных процессов, или, что то же, для записи алгоритмов, подлежащих выполнению на вычислительных машинах.. Различают проблемно ориентированные А. я. (А. я.… … Математическая энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
Эстетика — составляет особую отрасль философии, занимающуюся красотой и искусством. Самый термин Э. происходит от греческого αίσθετικός, что значит чувственный, и в таком смысле встречается еще у самого основателя науки о прекрасном, Канта, в Критике… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Искусственные языки — Искусственные языки знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… … Лингвистический энциклопедический словарь
ЭСТЕТИКА — (от греч. aisthetikos чувствующий, чувственный) филос. дисциплина, изучающая природу всего многообразия выразительных форм окружающего мира, их строение и модификацию. Э. ориентирована на выявление универсалий в чувственном восприятии… … Философская энциклопедия
ПРОТИВОРЕЧИЕ — два высказывания, из которых одно является отрицанием другого. Напр.: «Латунь химический элемент» и «Латунь не является химическим элементом», «2 простое число» и «2 не является простым числом». В одном из противоречащих высказываний что то… … Философская энциклопедия
КАНТ — (Kant) Иммануил (1724 1804) нем. философ, крупнейший представитель нем. идеализма. Доцент (1755 1770), проф. Кёнигсбергского ун та (1770 1796). В философии К. традиционно выделяется два периода: «докритический» (до 1770) и «критический». Ранние… … Философская энциклопедия